The Invoicing Case Study in (E-)LOTOS
نویسنده
چکیده
The informal requirements for the invoicing case study are analysed and interpreted. This leads to a high-level specification architecture that can be formalised. Specifications are presented in LOTOS (Language Of Temporal Ordering Specification). For comparison, specifications are also presented E-LOTOS (Enhancements to LOTOS) – the new version of LOTOS currently being standardised. Since LOTOS allows a balance to be struck between process-oriented and data-oriented modelling, specifications in both styles are given. The resulting specifications are evaluated in the context of LOTOS and formal approaches more generally.
منابع مشابه
Requirement Capture, Formal Description and Verification of a Business System: the Invoicing Case-Study
The Invoicing case study is a typical business system proposed by Henri Habrias as a common example for a contest on the capacity of particular formal methods to capture requirements from the client. For this, the case study is informally described by half a page of English text. In this report, we use the formal description technique LOTOS for requirement capture, formal description and verifi...
متن کاملRequirement Capture, Formal Description and Veriication of an Invoicing System Requirement Capture, Formal Description and Veriication of an Invoicing System
The Invoicing case study is a typical business system proposed by Henri Habrias as a common example for a contest on the capacity of particular formal methods to capture requirements from the client. For this, the case study is informally described by half a page of English text. In this report, we use the formal description technique Lotos for requirement capture, formal description and veriic...
متن کاملThe Extent of Utilization of E-Marketing Application by Small and Medium Enterprises in South Eastern States of Nigeria
The need for small and medium scale enterprises to utilize information and communication technology (ICT) applications to boost their business necessitated this study which bordered on assessing the extent of utilization of e-marketing applications by small and medium enterprises in South Eastern States of Nigeria. Two research questions guided the study. Two null hypotheses were tested at 0.05...
متن کاملOperators' Value Creation Models in Electronic Invoicing-User Company Perspective
Electronic Invoicing (E-invoicing) has been going through fast development during recent years. It is believed to bring great savings for companies. There has been a lot of research and studies on Einvoicing. This study is going to study on how E-invoicing operators could create value but from users’ perspective. The study is going to build its own value creation framework based on Amit and Zot...
متن کاملAn Enhanced Version of Timed LOTOS and its Application to a Case Study
We propose here ET-LOTOS, a timed extension of LOTOS. It is an enhancement of Timed LOTOS that we presented at FORTE 92. We show how some simple modifications allow us to improve the expressiveness of our former formalism. To assess ET-LOTOS, we apply it to the specification of a small case study. Finally, we show how the semantics of ET-LOTOS could be modified to easily define more powerful op...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1998